lambda cube中文什么意思

• Lambda立方体

• lambda:    音标：[lãbda] 专业辞典 n.m. 【解剖学】人字点 近义词 moyen,
• cube:    音标：[kyb] 动词变位提示：cube是cuber的变位形式 n.m.
• lambda:    音标：[lãbda]专业辞典n.m.【解剖学】人字点近义词moyen, normal, ordinaire, quelconque
• cube:    音标：[kyb]动词变位提示：cube是cuber的变位形式n.m. 立方体;立方形的物体~s n.m.pl. jeu de ~s 积木adj. 立方的专业辞典n.m.【数学】立方，三次幂：le~de 2 est8.2的立方是8。~parfait（整数的）完全立方数cubem.（立方）方块；立方体，立方cube (de rubik, hongrois)魔方cube des déblais挖方体积
• baryon lambda:    Λ粒子

例句与用法

1. This framework predates lambda cube by a couple of years.
2. The systems from the lambda cube are all known to be strongly normalizing.
3. The lambda cube was not a new type theory but a categorization of existing type theories.
4. This system is also the simplest pure type system, a formalism which generalizes the Lambda cube.
5. Various combinations of dependency and polymorphism have been considered in the literature, the most famous being the lambda cube of Henk Barendregt.
6. In type theory, the most frequently studied impredicative typed ?-calculi are based on those of the lambda cube, especially System F.
7. System F can be seen as part of the lambda cube, together with even more expressive typed lambda calculi, including those with dependent types.
8. Further extensions to F ^ \ omega _ { allow the definition of purely functional objects; these systems were generally developed after the lambda cube paper was published.
9. The framework of pure type systems generalizes the lambda cube in the sense that all corners of the cube, as well as many other systems can be represented as instances of this general framework.
10. Type operators correspond to the 2nd axis in the lambda cube, leading to the simply typed lambda-calculus with type operators, ? ?; while this is not so well known, combining type operators with polymorphic lambda calculus ( system F ) yields system F-omega.